Buy Used and New Virginie Wiels Books

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science)

by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

ISBN 13: 9783319075112

Format: Paperback (176 pages)
Publisher: Springer
Published: 26 May 2014

Save for later